41. Automated deduction in geometry: third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000: revised papers
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Geometry-- Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
448
.
D38
.
I577
2000
42. Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
المؤلف: Jurgen Richter-Gebert, Dongming Wang, )eds.(
المکتبة: (طهران)
موضوع: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2061
43. Automated deduction in multiple-valued logics
المؤلف: Hahnle, Reiner
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
H34
1993
44. 17 :-CADE--Automated deduction
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Automatic theorem proving ; Congresses ; Logic, Symbolic and mathematical ; Congresses ;
45. 21- CADE--Automated deduction
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Automatic theorem proving ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
46. Collegium Logicum: annals of the Kurt-Godel-Society
المؤلف:
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
9
.
A1
C58
47. Computational logic
المؤلف: J.W. Lloyd )ed.(
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Automatic theorem proving - Congresses,Logic, Symbolic and Mathematical - Congresses
رده :
QA
.
A96
,
C654
76
.
9
1990
48. Computational logic
المؤلف: / J .W .Lloyd ( ed )
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Automatic theorem proving --Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
A96C654
1990
49. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
K87
1993
50. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic : proceedings
المؤلف: Georg Gottlob, Alexander Leitscch, Daniele Mundici, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
713
51. Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
المؤلف: Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1289
52. Computational logic : symposium proceedings, Brussels, November 13/14, 1990
المؤلف: J.W. Lloyd )ed.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
C65
1990
53. Computational logic : symposium proceedings, Brussels, November 13/14, 1990
المؤلف: J.W. Lloyd )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
A96S97
1990
54. First-order logic and automated theorem proving
المؤلف: Fitting, Melvin, 2491-
المکتبة: (طهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96F528
1990
55. First-order logic and automated theorem proving
المؤلف: Melvin Fitting.
المکتبة: (کرمان)
موضوع: Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
,
F68
1990
56. First-order logic and automated theorem proving
المؤلف: Melvin Fitting.
المکتبة: (کرمان)
موضوع: Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
,
F68
1990
57. First-order logic and automated theorem proving
المؤلف: / Melvin Fitting
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
A96
,
F68
1990
58. First-order logic and automated theorem proving
المؤلف: Fitting, Melvin
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
.
F68
1996
59. Handbook of tableau methods
المؤلف: edited by Marcello D'Agostino [and others].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
2011
60. Higher order logic theorem proving and its applications :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA76
.
9
.
H5
1995
